The PAR approach and its platform expresses function specification by first prediction logic, formally derives algorithm by partition and recurrence, and automatic generate algorithmic program by diversified transformation systems. PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。
Its content includes three sides, which are data partition in logic, traverse data tile in some sequence, restruction program code. 其内容包含3个主要方面:对数据逻辑上分块,以某种顺序遍历数据块,重构程序代码。
The content and structure of master NC program were analyzed in detail based on the definition and partition of machining feature as well as the design of NC subprogram base. Then the constructing process of master NC program was presented. 通过加工特征的定义、划分和NC子程序库的设计,对NC程序主模板的内容和结构进行了分析,给出了NC程序主模板的生成过程。
Software programming and debugging, finished parameter demarcation, measuring range transformation, realization of dynamic zero function, software filtering, output partition linearization and serial communication program. 软件编程及调试,实现了人机接口的参数设定、量程变换、去皮功能,数字滤波、分段线性化输出及串口通讯等功能;
For the software part, the paper particularly introduces how to the software system of embed system. Meanwhile, the paper accomplishes the partition of all tasks, and the design of each application program. 软件设计方面,详细介绍了嵌入式系统的软件系统,完成了各任务的划分及各应用程序的设计。
Finally, the thesis designs software system, gives the partition of software functional modules and the flow chart of main program. 最后,对软件系统进行设计,完成了功能模块划分并给出了主程序流程图。
By reasonable partition of interior stack and multithreading synchronization technique, the stagnancy phenomenon of garbage collection can be reduced. And in Java program the execution speed and the real-time character can be improved. 通过Java虚拟机内部堆空间的合理划分和采用多线程同步技术可以降低垃圾回收中的停滞现象,提高Java程序的执行速度和实时性。
To ensure the partition of equivalence classes having a complete coverage, a clipping rule of program execution path called CPC ( Class Path Clipping) is proposed, which can detect whether the type of equivalence classes of program input domain have been completely cut. 为确保划分的等价类的覆盖度完整,本文还提出了一种基于程序执行路径的裁剪规则(ClassPathClipping,CPC),该裁剪准则可以检测出输入域划分的等价类种类是否完整。
The hardware program for the ADCP signal processing flat is designed with ASIC technique that contains flexible logic control, space partition for IO, data and program, hardware watchdog, translation of serial port to parallel port and generation of PN sequence. 3. 应用ASIC技术,对ADCP信号处理平台的硬件程序架构进行了设计,实现了复杂的逻辑控制,IO、数据、程序空间分配,硬件看门狗,串转并以及伪随机序列的生成。
Secondly, we classify all kinds of system users, develop coding regulation, design the directory structure of the system interface, partition modules of the program and discussed in detail the function of each module. 然后对系统的用户进行了分类,制定了系统代码的编写规范,设计了系统界面的目录结构,划分了系统程序模块和详细讨论了每个模块的功能。
Then combined with calculated heat transfer coefficient and partition technique on the cooling surface, direct problem program was used to obtain the transient characteristic of the whole plate. 进而,利用正问题程序结合反演的对流换热系数以及钢板表面的分区技术,获得钢板内部所有位置的温度瞬变特性。
Secondly, the article has analyzed the overall system function, given tasks and levels of demand based on the partition of program module, and ready to refine the further research project. 其次,对系统进行了总体功能分析,给出了基于任务和层次需求的模块分割方案,为下一步工程的细化研究做好准备。